00100	ENCYCLOPEDIA OF COMPUTER SCIENCE
00200	
00300	
00400	1. Some names for the editorial board:
00500	
00600	McCarthy, Minsky, Parker, Knuth, Floyd,  Forsythe, 
00700	Newell, Bell, Manna, Cheatham,  Sutherland, Green, Milner,
00800	Raphael, Nilsson, Kay, Binford,
00900	Engelbart, Winograd,
     

00000	
00100	2. Policies:
00200	
00300		1. The encyclopedia will be brief but comprehensive
00400	at first and will ramify later.  The first articles may be
00500	mainly introductions to the literature.
00600	
00700		2. Stanford University Press will be asked to take on
00800	certain commercial aspects of the work such as:
00900	
01000			2.1. Taking subscribers to the list of current
01100	contents.
01200			2.2. Taking orders for articles.
01300	(Another possibility is the federal clearinghouse).
01400	
01500		3. There should be an editor-in-chief,
01600	namely McCarthy, and a full time executive editor.
01700	
01800		4. Authors will be paid royalties according to
01900	consumption of their material with some levelling so
02000	that the writers of introductory material are not overpaid.
02100	The author's payment will be linked to his keeping his
02200	material up-to-date.  Bibliographers will be specifically
02300	rewarded.  
02400	
02500		5. Candidates for executive editor:
02600	Joyce Friedman, Phyllis Fox, Wade Holland, someone from ACM,
02700	
02800		6. For the time being, the published form of the
02900	enclyclopedia will be 8.5 x 11 single-spaced justified in the
03000	computer.  This will allow users to combine local printout
03100	with distributed copy.   Printing on both sides of the page
03200	will be used where feasible.  The character set will be kept
03300	linear, and temporarily diagrams except printable ones will
03400	be minimized and put on separate pages.
03500	
03600		7. Various levels of printed subscription will be allowed:
03700	
03800			7.1. Monthly revised contents and outline.
03900			7.2. Monthly revisions of contents and outline.
04000			7.3. Annual revised contents.
04100			7.4. New papers and major revisoions.
04200			7.5. New material according to interest profile.
04300			7.6. Microfiche editions of the above.
04400			7.7. Recommended menus at various prices, i.e.
04500	for major and minor university libraries, public libraries, 
04600	high school libraries, etc.
04700	
04800		8. Agreements with authors will call for periodic
04900	revision by the author.  Likewise with bibliographers
05000	who will normally revise quarterly.  Authors annually or
05100	biennially - authors will be allowed to use supplements if
05200	they want to.
05300	
05400		9. The library will be kept at the Stanford AI
05500	computer until it can be transferred to the terabit store.
05600	
05700		10. Programs available through the ARPA net will include.
05800	
05900			10.1. The ability to print articles and outlines.
06000			10.2. The ability to read articles with subroutine
06100	jumps to references that are held within the system.
06200			10.3. The ability to enter commentary on articles
06300	and to refer to commentary.
06400			10.4. The ability to supplement bibliographies
06500	without the help of the bibliographer.
06600			10.5. The ability to select from bibliographies
06700	according to date, key words, whether the item is accepted by
06800	the official bibliographer, whether the item is recommended by
06900	various wise men.
07000			10.6. The ability to get abstracts or reviews
07100	of items in the bibliography if these are available.
07200	
07300		11. Comments which are mailed to the editors will be
07400	entered by the editorial organization, but comments in machine-
07500	readable form will be given prompter service.
07600	
07700		11. The publisher will be provided with an IMLAC or
07800	two and some kind of hard copy device.  These will initially
07900	communicate with the Stanford AI machine.
08000	
08100		12.  At some point the encyclopedia will be
08200	directly accessible through suitable terminals, i.e. a
08300	wide variety of IMLAC devices.  It will also be accessible
08400	through computer systems.
08500	
08600		13. The primary initial character set will be the
08700	Stanford set, but transliterations to both 96 character
08800	and 64 character ASCII will be available and also whatever
08900	EBCDIC IBM uses on its el cheapo displays.  An
09000	intermediate goal will be hardware with arbitrary character
09100	set and the ultimate goal will include type fonts,
09200	diagrams, photographs, color, and even
09300	audio.
     

00100	Topics and articles
00200	
00300	1. Applications. Numerical weather forecasting, Nuclear reactor
00400	calculations, fluid flow, symbolic computation in physics,
00500	symbolic computation in abstract algebra,
00600	
00700	2. Numerical Analysis.  Arithmetic in computers, error
00800	propagation, interpolation, approximation, ordinary differential
00900	equations, partial differential equations (first order, elliptic,
01000	hyperbolic, mixed, higher order), matrices, Monte Carlo,
01100	integration, 
01200	
01300	3. Mathematical theory of computation.  Proving correctness of
01400	algorithms, formal semantics of programming languages,
01500	formal systems, indeterminate and parallel computation,
01550	proof checkers,
01600	
01700	4. Artificial intelligence.  Heuristics in general,
01800	tree search, game playing, theorem proving, learning, the 
01900	representation problem, natural language, vision (pattern recognition
02000	and scene description), robotics, integrated intelligent 
02100	systems,
02200	
02300	5. Programming languages.  Survey of existing languages, 
02400	articles on FORTRAN, LISP, ALGOL 60, ALGOL 68, COBOL, SNOBOL,
02500	PL/I, SIMULA, APL, and any others whose authors agree to keep them
02600	up-to-date, a general article about goals in making programming
02700	languages,
02800	
02900	6. Compiling techniques.  Formal languages and parsing,
03000	optimizattion, symbolic assembly programs, macros, up-level
03100	addressing, array references, block structure,
03200	
03300	7. Operating systems.  Time-sharing systems, virtual memory,
03400	loaders, file systems, protection,
03500	
03600	8. Data processing.  Sorting, report generation,
03700	
03800	9. Computer system design.  Large computers, minicomputers,
03900	microprogramming, look-ahead, stack machines
04000	
04100	10. Computer graphics.  Design automation.
04200	
04300	11. History.  Computer design, software, theory, commercial history,
04400	
04500	12. Computer circuitry.  Logical design, synchronous and asynchronous
04600	design, circuit families, electrical engineering considerations,
04700	directory of services available for money,
04800	
04900	13. Commercial directory.  Hardware services, machine announcements,
05000	software services, time-sharing service bureaus,
05100	
05200	14. Abstract topics. Automata theory, formal languages, recursive
05300	function theory, mathematical logic, set theory, abstract complexity
05400	theory,
05500	
05600	15. Computation with symbolic expressions.  algorithms for 
05700	handling polynomials, factoring, gcd, algebraic simplification,
05800	
05900	16. Algorithms for particular tasks.  Concrete complexity theory,
06000	
06100	17. Bibliographies on each major topic.  Glued together abstract
06200	lists,
06300	
06400	18. Information retrieval.  Text handling systems,
06500	
06600	19. Special purpose on-line systems.  SAGE, airline reservation,